Comparing Control Constructs by Double-barrelled CPS Transforms
نویسندگان
چکیده
منابع مشابه
Comparing Control Constructs by Double-barrelled {CPS} Transforms
We investigate continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abstraction gives rise to different control operators: first-class continuations; dynamic control; and (depending on a further choice of a variable) either the return statement of C; or Landin’s Joperator. In each case there is an associated simple typing. For tho...
متن کاملComparing Control Constructs by Double-Barrelled CPS
We investigate call-by-value continuation-passing style transforms that pass two continuations. Altering a single variable in the translation of λ-abstraction gives rise to different control operators: first-class continuations; dynamic control; and (depending on a further choice of a variable) either the return statement of C; or Landin’s J-operator. In each case there is an associated simple ...
متن کاملThe Double-Barrelled LASSO
We present a new method which solves a double-barelled LASSO in a convex least squares approach. In the presented method we focus on the scenario where one is interested in (or limited to) a primal (feature) representation for the first view while having a dual (kernel) representation for the second view. DB-LASSO minimises the number of features used in both the primal and dual projections whi...
متن کاملA double barrelled myxoma.
Physical Activity Guidelines Advisory Committee Report; 2008. 4. Biswas A, Oh PI, Faulkner GE, Bajaj RR, Silver MA, Mitchell MS, Alter DA. Sedentary time and its association with risk for disease incidence, mortality, and hospitalization in adults: a systematic review and meta-analysis. Ann Intern Med 2015;162:123–132. 5. Matthews CE, George SM, Moore SC, Bowles HR, Blair A, Park Y, Troiano RP,...
متن کاملDouble-barrelled cutaneous ureterostomy.
It is a physiological fact that the one anatomical When the urinary bladder for one reason or structure which is ideal for gathering and transanother does not function, a combined cutaneous porting urine within the human body is its own ureterostomy can eliminate many of the complicanatural urinary pathway. tions that arise from the use of the intestine as a substitute for the bladder or urinar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80974-5